A New Resolvent Equation for the $$S$$ S -Functional Calculus

A New S-­test for Haplotype Analysis: Concordance and Discordance

A new test of inheritance, S, is proposed, which uses information from affected as well as unaffected siblings in the fam­ ily. The siblings are analyzed in terms of similarities of haplotypes. The distribution of the proposed S­test is derived under the null hypothesis of random inheritance. Mean and variance are obtained for the distribution. The test is then applied to data sets publ...

vico`s the new seience

New integral inequalities for $s$-preinvex functions

In this note, we give some estimate of the generalized quadrature formula of Gauss-Jacobi$$underset{a}{overset{a+eta left( b,aright) }{int }}left( x-aright)^{p}left( a+eta left( b,aright) -xright) ^{q}fleft( xright) dx$$in the cases where $f$ and $left| fright| ^{lambda }$ for $lambda >1$, are $s$-preinvex functions in the second sense.

On a Modal - Calculus for S 4 ?

We present λ→2, a concise formulation of a proof term calculus for the intuitionistic modal logic S4 that is well-suited for practical applications. We show that, with respect to provability, it is equivalent to other formulations in the literature, sketch a simple type checking algorithm, and prove subject reduction and the existence of canonical forms for well-typed terms. Applications includ...

S-Program Calculus

This paper presents a special subset of the first-order predicate logic named S-program calculus (briefly S-calculus). The S-calculus is a calculus consisting of so-called S-formulas that are defined over the abstract state space of a virtual machine. We show that S-formulas are a highly general tool for analyzing program semantics inasmuch as Hoare triplets of total and partial correctness are...